Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
341	275 Documenta Math. The Number of Independent Vassiliev Invariants in Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:26:44 Polynomials Knot theory Jones polynomial HOMFLY polynomial Finite type invariant Kauffman polynomial Bracket polynomial
342	! I am Dr. Carl C. Seltzer, Honorary Research Associate at the Feabody Museum, Harvard University and Professor of Nutrition, Tufts University. I was Add to Reading List Source URL: cfrankdavis.files.wordpress.com Language: English - Date: 2015-02-15 09:37:19 Habits Smoking Heart Cohort studies Type A and Type B personality theory Cigarette Framingham Heart Study Tobacco smoking Tobacco Tobacco packaging warning messages Health effects of tobacco
343	Ramsey-type constructions for arrangements of segments Jan Kynˇcl Charles University, Prague Arrangement of segments: Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2008-06-04 17:03:58 Disjoint sets Discrete geometry Topological graph theory Topological graph
344	Gradual Typing with Efficient Object Casts Extended abstract Michael M. Vitousek ∗ Adviser: Jeremy G. Siek † University of Colorado at Boulder Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Data types Type theory Object-oriented programming languages Cross-platform software Procedural programming languages Gradual typing Type system This Objective-C Type safety Parameter Reference
345	 Search: Use the Edit > Find command, then click on the line number. 5 Evaluating TotalView® for HPC 1 Add to Reading List Source URL: docs.roguewave.com Language: English - Date: 2016-07-29 14:32:58 Data types Scripting languages Command shells Type theory Variable Debugging Array data type Command-line interface Global variable Breakpoint Pointer COMMAND.COM
346	Implementing Implicit Self-Adjusting Computation Yan Chen Joshua Dunfield Matthew A. Hammer Umut A. Acar Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-12-11 09:31:37 Procedural programming languages Functional languages Functional programming Type theory Data types Standard ML ML Type inference Type system Monad Compiler Algorithm
347	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: yoavartzi.com Language: English - Date: 2016-08-12 04:07:46 Predicate logic Type theory Logic in computer science Computability theory Lambda calculus Combinatory categorial grammar Quantifier Combinatory logic Parsing Free variables and bound variables Weight
348	Higher-Order Intersections in Low-Dimensional Topology Jim Conant ∗ , Rob Schneiderman † , and Peter Teichner ‡ ∗ University of Tennessee,† Lehman College CUNY, and ‡ UC Berkeley and Max-Planck-Institut f¨ Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2012-08-01 06:52:27 Surgery theory Knot invariants Differential topology 3-manifolds Geometric topology Link group Arf invariant Finite type invariant H-cobordism Manifold Link concordance Cobordism
349	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
350	A foundation for trait-based metaprogramming John Reppy Aaron Turon University of Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:27 Type theory Classical genetics Object-oriented programming languages Genetics C++ Trait Mixin Quantitative trait locus Natural selection Multiple inheritance Inline expansion Abstract type

UPDATE